Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
881	Dedukti: A Universal Proof Checker Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-10 11:27:57 Computing Lambda calculus Program analysis Type system ParisTech Normalisation by evaluation Coq Valuation Programming language theory Software engineering Type theory
882	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
883	Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:55:25 Type theory Functional languages Functional programming Lisp programming language Data types Append List Cons Dependent type Software engineering Computing Declarative programming
884	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-05-02 04:34:51 Data types C programming language Procedural programming languages C++ Type theory Struct Typedef Pointer ALGOL 68 Software engineering Computing Computer programming
885	Towards Automatic C Programs Optimization and Parallelization using the PIPS-PoCC Integration Dounia Khaldi Corinne Ancourt François Irigoin CRI, Mathématiques et Systèmes, MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-06-09 05:21:04 Software engineering Loop optimization Loop tiling Polytope model OpenMP Loop unwinding Array programming Induction variable Loop interchange Compiler optimizations Computing Programming language theory
886	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
887	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
888	Identification of Logically Related Heap Regions Mark Marron1 Deepak Kapur2 Manuel Hermenegildo1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-07-29 18:36:45 Programming language theory Garbage collection Voronoi diagram Pointer analysis Analysis Region-based memory management Heap C dynamic memory allocation D-ary heap Memory management Computing Software engineering
889	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
890	Preprint of an article published in Parallel Processing Letters, Vol. 24, Nopages) DOI: S0129626414410035 c World Scientific Publishing Company Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-10-03 08:19:59 Procedural programming languages Functional languages Computational science Scientific modeling Simulation software Stencil codes ALGOL 68 Type system Foreach loop Programming language theory Software engineering Computing

UPDATE